Supporting ODP Translating LOTOS to Z
نویسندگان
چکیده
This paper describes a translation of full LOTOS into Z A common semantic model is de ned and the translation is proved correct with respect to the semantics The motivation for such a translation is the use of multiple viewpoints for spec ifying complex systems de ned by the reference model of the Open Distributed Processing ODP standardization initiative
منابع مشابه
Comparing LOTOS and Z re nement relations
This paper compares the LOTOS and Z re nement relations The motivation for such a comparison is the use of multiple viewpoints for specifying complex systems de ned by the reference model of the Open Distributed Processing ODP standard ization initiative The ODP architectural semantics describes the application of formal description techniques FDTs to the speci cation of ODP systems Of the avai...
متن کاملComparing LOTOS and Z Refinement Relations
This paper compares the LOTOS and Z reenement relations. The motivation for such a comparison is the use of multiple viewpoints for specifying complex systems deened by the reference model of the Open Distributed Processing (ODP) standardization initiative. The ODP architectural semantics describes the application of formal description techniques (FDTs) to the speciication of ODP systems. Of th...
متن کاملAn architecture based approach to specifying distributed systems in LOTOS and Z
Specification is difficult. It is often the case that the most difficult aspect of specifying is the structuringof the specification to begin with. Adopting an architectural approach can help to alleviate this structuringproblem. We have investigated how the formal languages LOTOS and Z can be used to develop specificationtemplates suitable for architecting specifications of distrib...
متن کاملTranslating LOTOS to Object-Z
This paper presents a translation between the formal description technique LOTOS and the object-oriented specification language Object-Z. The need for such a translation lies in the use of formal methods in viewpoint specification, and in particular in the Open Distributed Processing standard. The use of viewpoints as a set of partial interlocking specifications brings an obligation to check th...
متن کاملModelling ODP
This paper gives a brief insight into the current work on the development of an architectural semantics for Open Distributed Processing (ODP). It rst provides an introduction to the work on the formalisation in LOTOS and Z of the basic modelling and speciication concepts of Part 2, and then focuses on the viewpoint languages of Part 3 of the Basic Reference Model for ODP (RM-ODP). It also shows...
متن کامل